Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
531	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
532	Software Assurance: An Overview of Current Industry Best Practices February 2008 Add to Reading List Source URL: www.safecode.org Language: English - Date: 2014-08-15 16:06:21 Computing Formal methods Evaluation Software project management Computer security Software assurance Software development process Common Criteria Quality assurance Software quality Management Business
533	DESCRIPTION: A NEGLECTED TOPIC IN SE (ORIGINAL TITLE) DEFINING A DISCIPLINE OF DESCRIPTION (PUBLISHED TITLE) At a 1985 Symposium on Unintentional Nuclear War, Brian Cantwell Smith argued that the notion of correctness fo Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 12:21:52 Software engineering Formal sciences Cybernetics System Systems science Systems theory Engineering Formal methods Logic Science Knowledge Ethology
534	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
535	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
536	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
537	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
538	Microsoft Word - Call for Papers - Letter.docx Add to Reading List Source URL: fmseet.aau.at Language: English - Date: 2015-03-27 06:05:41 Science Knowledge Software development process Formal specification Software engineer Computer science Education On the Cruelty of Really Teaching Computer Science Formal methods Software engineering Software development
539	Formal Methods & Traditional Engineering: by Michael Jackson Introduction Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-21 08:48:50 Architectural design Formal methods Engineering Design Reliability engineering Software development process Object-oriented programming Software development methodology Human factors Software development Science Software
540	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming

UPDATE